$\forall$$g$:OCMon, $a$, $b$:$\mid$$g$$\mid$. ($\uparrow$($a$ $<_{b}$ $b$)) = ($a$ $<$ $b$) $\in$ $\mathbb{P}$